منابع مشابه
Notions of State Equivalence under Partial Observability
We explore equivalence relations between states in Markov Decision Processes and Partially Observable Markov Decision Processes. We focus on two different equivalence notions: bisimulation (Givan et al, 2003) and a notion of trace equivalence, under which states are considered equivalent roughly if they generate the same conditional probability distributions over observation sequences (where th...
متن کاملOn some equivalence notions of synchronous systems
An important optimization tool in the design of synchronous systems is retiming, which in many cases allows a significant reduction in the length of the systems’ clock period. Even though the internal structure of systems changes upon retiming, their input-output behavior remains essentially the same. The original system and the one after the retiming can simulate each other in a suitable way. ...
متن کاملNotions of Equivalence in Software Design
Les méthodes de conception dans des systèmes d'information créent souvent des descriptions de logiciel en utilisant des langages formels. Néanmoins, la plupart des concepteurs de logiciel préfèrent décrire le logiciel en utilisant des langages naturels. Cette distinction n'est pas simplement une question de pragmatisme. Les langages naturels ne sont pas identiques à des langages formels; en par...
متن کاملOn Permutation Polytopes - Notions of Equivalence
By assigning a permutation polytope to a group we produce new interesting polytopes. For the effective use of this construction method it is desirable to understand which groups are leading to affine equivalent polytopes. Therefore, the notion of effective equivalence has been introduced [BHNP09]. In this note we clarify the notion of effective equivalence and characterize geometrically the eff...
متن کاملBehaviour Specifications: Equivalence and Refinement Notions
Adequate notions of equivalence and refinement are needed to support the process of specification. Several notions thereof have been developed for process algebras, but not for more popular specification languages. We discuss semantic preconditions for the development of equivalence and refinement notions, investigate wishful properties of such notions, provide an overview of existing equivalen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1976
ISSN: 0002-9939
DOI: 10.2307/2041634